Quantifying Over Eventualities in Continuation Semantics
نویسنده
چکیده
The paper explores the possibilities of representing the semantics of eventualities in continuation semantics framework. It focuses on providing an analysis for quantification over eventualities and for anaphora to eventualities. We give specific lexical entries for the adverbial quantifiers always and never and for a silent adverbial quantifier we consider responsible for the meaning of expressions with no overt adverbial quantifiers. We point out that quantificational adverbs usually have an implicit restriction (i.e. the contextually relevant eventualities), as opposed to the nominal quantifiers where the restrictor is the noun phrase. This eventuality restriction is a set of eventualities that cannot be completely specified or enumerated. Nevertheless, the human mind has no problem to operate with this kind of vagueness. Also, we argue that the Scope Domain Principle, which says that the eventuality quantifier always takes lowest possible scope with respect to other quantifiers, is too strong.
منابع مشابه
Negation and the Temporal Structure of Narrative Discourse
This paper develops an analysis of the temporal role of negative sentences in narrative discourse in Etigfati and French. The analysis focuses on differences in the aspectual systems of English and French, and their consequences for the interpretation of negation and quantification. A recursive rule for the introduction of discourse referents characterizes both quantificational and negated sequ...
متن کاملAspectual composition in modern Greek
The rich aspectual system in Modern Greek involves both morphologically expressed grammatical aspect and eventuality types. Particular emphasis is paid to the interaction between grammatical aspect and eventuality types, since it is due to this interaction that the verbal predicate acquires distinct meanings. The main aim of this paper is to explain potential changes in the meaning of the event...
متن کاملThe problem of coincidence in a theory of temporal multiple recurrence
Logical theories have been developed which have allowed temporal reasoning about eventualities (a la Galton) such as states, processes, actions, events, processes and complex eventualities such as sequences and recurrences of other eventualities. This paper presents the problem of coincidence within the framework of a first order logical theory formalizing temporal multiple recurrence of two se...
متن کاملOn Semantics of a Term Calculus for Classical Logic
The calculus of Curien and Herbelin was introduced to provide the Curry–Howard correspondence for classical logic. The terms of this calculus represent derivations in the sequent calculus proof system and reduction reflects the process of cut-elimination. We investigate some properties of two well-behaved subcalculi of untyped calculus of Curien and Herbelin, closed under the call-by-name and t...
متن کاملModeling and Analysis of Outrigger Reaction Forces of Hydraulic Mobile Crane (TECHNICAL NOTE)
This paper presents an original interactive analysis method consisting of mathematical calculation based on theoretical mechanics and mechanics of materials, and dynamics simulation for quantifying outrigger reaction forces of a kind of hydraulic mobile crane, aiming to avoid the eventualities during normal operation as far as possible, for example, tipping-over. First, a three dimensional dyna...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Multiple-Valued Logic and Soft Computing
دوره 20 شماره
صفحات -
تاریخ انتشار 2012